daf66166d06f64eac6d58e60b72e905f89869b75,src/org/uecide/Preferences.java,Preferences,getFont,#String#,777
Before Change
public static Font getFont(String key) {
String data = get(key);
if (data == null || data.equals("")) {
return Base.preferences.stringToFont("Monospaced,plain,12");
}
return Base.preferences.stringToFont(data);
}
After Change
String data = get(key);
Font font = null;
if (data == null || data.equals("")) {
font = Base.preferences.stringToFont("Monospaced,plain,12");
} else {
font = Base.preferences.stringToFont(data);
}
float size = font.getSize();
int scale = getInteger("theme.fonts.scale");
if (scale == 0) {
scale = 100;